step(bs,is,tm(s,[ctxm(zeta_,sp,ip,ip_bs,ip_bs),ctxm(zeta_,idp2,ip,ip_is,ip_is)],pri(lst,[pri(aenc,[pri(lst,[ctxm(zeta_,u,i_idp2_ls,il2,il2),ctxm(zeta_,dot,nI,ss(zeta_,nn),ss(zeta_,cn2))]),pri(pk,[ctxm(zeta_,idp2,kM,kM_is,kM_is)])]),pri(lst,[pri(lst,[ctxm(zeta_,u,i_sess,ss(zeta_,i_sess),ss(zeta_,i_sess)),ctxm(zeta_,u,d_1,id_1,cd_1),ctxm(zeta_,u,d_2,id_2,cd_2),ctxm(zeta_,ls,i,i_ls,i_ls),pri(aenc,[pri(lst,[ctxm(zeta_,u,i_idp1_ls,il1,il1),ctxm(zeta_,dot,n,ss(zeta_,n1),ss(zeta_,cn1))]),pri(pk,[ctxm(zeta_,ls,kM,kM_ls,kM_ls)])])]),pri(sig,[pri(lst,[ctxm(zeta_,u,i_sess,ss(zeta_,i_sess),ss(zeta_,i_sess)),ctxm(zeta_,u,d_1,id_1,cd_1),ctxm(zeta_,u,d_2,id_2,cd_2),ctxm(zeta_,ls,i,i_ls,i_ls),pri(aenc,[pri(lst,[ctxm(zeta_,u,i_idp1_ls,il1,il1),ctxm(zeta_,dot,n,ss(zeta_,n1),ss(zeta_,cn1))]),pri(pk,[ctxm(zeta_,ls,kM,kM_ls,kM_ls)])])]),ctxm(zeta_,idp1,kM,kM_ii,kM_ii)])])]))).
